A General Purpose Inference Engine for Evidential Reasoning Research
نویسندگان
چکیده
The purpose of this paper is to report on the most recent developments in our ongoing investigation of th.e representation and manipulation of uncertainty in automated reasoning systems. In our earlier studies (Tong and Shapiro, 1985) we described a series of experiments with Rt;BRIC (Tong e t al., 198.'5), a. system for full-text document retrieval, that generated some interesting insights into the effects of choosing among a. class of scalar valued uncertainty calculi. In order to extend these results we have begun a. new series of experiments with a larger class of representations and calculi, and to help perform these experiments we have developed a. genera.! purpose inference engine.
منابع مشابه
A Prototype Inference Engine for Rule-Based Geometric Reasoning
Isaac is a rule-based visual language for mobile robots using evidential reasoning and a fuzzy inference engine. A prototype inference engine for Isaac has been implemented, permitting experiments with the Isaac language. This paper discusses this inference engine, describes some preliminary experiences with programming Isaac rulesets, and proposes future optimizations and enhancements to the i...
متن کاملEvidential Reasoning for Object Recognition
The authors present a framework to guide development of evidential reasoning in object recognition systems. Principles of evidential reasoning processes for open-world object recognition are proposed and applied to build evidential reasoning capabilities. The principles summarize research and findings by the authors up through the mid-1990s, including seminal results in object-centered computer...
متن کاملReason Maintenance in a Hybrid Reasoning System
One can gain efficiency in an inference system by using special-purpose representations for reasoning about certain predicates, but some such representations make it impossible for the system to keep track of the reasons for which it holds each of its beliefs. We illustrate the potential conflict with some examples, and distill some general principles for designing representations that can supp...
متن کاملPerformance Evaluation of Algorithms for Soft Evidential Update in Bayesian Networks: First Results
In this paper we analyze the performance of three algorithms for soft evidential update, in which a probability distribution represented by a Bayesian network is modified to a new distribution constrained by given marginals, and closest to the original distribution according to cross entropy. The first algorithm is a new and improved version of the big clique algorithm [1] that utilizes lazy pr...
متن کاملEvidential Bilattice Logic and Lexical Inference
This paper presents the current state of the logic that I am using to analyse entailment, implicature and presupposition in natural language. The logic is very ne-grained and is able to make distinctions that are outside the scope of classical logic. It is independently motivated by certain properties of natural human reasoning, namely partiality , paraconsis-tency , relevance , and defeasibili...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1304.3113 شماره
صفحات -
تاریخ انتشار 2011